A, B:GrpSig. MonHom(A,B)  Type 

latex

Up	groups 1
Definitions of Statement	MonHom(M1,M2)
Definitions	MonHom(M1,M2), t  T, x:A. B(x),
Lemmas	grp sig wf, monoid hom p wf, grp car wf